Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Remote ULM-Wasm Build #712

Closed

Conversation

sskeirik
Copy link
Collaborator

This PR adds the remote ULM-Wasm build so that the interpreter can be tested by invocation through the ULM interface.

Dwight Guth and others added 18 commits September 26, 2024 11:15
* Update CI for PI2 fork

* fix issue with code quality check

* fix crash in code quality checks
* change `<memAddrs>` and `<mems>` cells from Map to List

* Adjusting checking bounds requires

---------

Co-authored-by: Dwight Guth <[email protected]>
This PR exposes the Pyk-Kompile proof hint flags to Poetry.
* Update test-pr.yml

* Update test-pr.yml

* Update test-pr.yml
* add new ulm-wasm main file

* add initial ULM makefile targets and contract compiler runner

* add build directory to gitignore file
* Unsigned ints

* Run tests on github
* Encoding and decoding

* Use TryFrom instead of From; TryFrom for usize

* Reserve the proper buffer size when encoding strings
* Implement storage access for contracts written in Rust

* Extract and mock the ULM api

* Ulm hooks mocks

* Storage tests

* Fix documentation
* add initial ulm wasm entrypoint

* add conditional makefile test target

* add first hooks to wasm implementation

* improve README
* add entry resolution code

* add runner script and docs

* apply linter and review suggestions

* exclude run_wasm from type checker
@sskeirik sskeirik closed this Dec 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants